Abstract Algebra: Bézout's Identity